Criteria for Generating Speci � cation based Tests
نویسندگان
چکیده
This paper presents general criteria for generating test inputs from state based speci cations Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned Formal speci cations of complex systems represent a signi cant opportunity for testing because they precisely de scribe what functions the software is supposed to pro vide in a form that can easily be manipulated These techniques provide coverage criteria that are based on the speci cations and are made up of several parts including test pre xes that contain inputs necessary to put the software into the appropriate state for the test values The test generation process includes several steps for transforming speci cations to tests Empir ical results from a comparative case study application of these criteria are presented
منابع مشابه
A Discipline of Speci cation - Based Test Derivation
System-level requirements-based testing is an important task in software development, providing evidence that each requirement has been satis ed. There are two major problems with how these tests are derived. First, the notion of coverage is subjective, i.e., there is a lack of objective de nitions of coverage criteria. Second, there is a surprising lack of automation in deriving system-level r...
متن کاملAutomatically Generated Test Frames from an S Speci cation of Separation Minima for the North Atlantic Region
A partially automated process for generating tests has been experimentally applied to a formal speci cation of a real world speci cation for air tra c separation minima. This report discusses the problems addressed by this process along with how and why this automation was achieved. Technical Report TR-98-04 Department of Computer Science University of British Columbia Vancouver, B.C. CANADA
متن کاملVeri cation of Automatically Generated Pattern-Based LTL Speci cations
The use of property classi cations and patterns, i.e., high-level abstractions that describe common behavior, have been shown to assist practitioners in generating formal speci cations that can be used in formal veri cation techniques. The Speci cation Pattern System (SPS) provides descriptions of a collection of patterns. The extent of program execution over which a pattern must hold is descri...
متن کاملUsing UML Collaboration Diagrams for Static Checking and Test Generation
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models of software (such as control ow graphs), and speci cations/requirements. UML collaboration diagrams represent a signi cant opportunity for testing because they precisely describe how the functions the software provide...
متن کاملAutomating Formal Speciication-based Testing to Appear: Tapsoft '97
This paper presents a technique for automatically generating logical schemata that specify groups of black-box test cases from formal speci cations containing universal and existential quanti cation. These schemata are called test frames. Previous automated techniques have dealt with languages based on propositional logic. Since this new technique deals with quanti cation it can be applied to m...
متن کامل